- instantiation rule
- правило присваивания значений
Англо-русский словарь по робототехнике. 2013.
instantiation rule
Смотреть что такое "instantiation rule" в других словарях:
Universal instantiation — In logic universal instantiation (UI, sometimes confused with Dictum de omni) is an inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Meta-process modeling — Abstraction level for processes.[1] Meta process modeling is a type of metamodeling used in software engineering and systems engineering for the analysis and construction of models applicable and useful to some predefined problems. Meta process… … Wikipedia
Meta-Process Modeling — is a type of metamodeling used in software engineering and systems engineering for the analysis and construction of models applicable and useful some predefined problems. Meta process support the effort of creating flexible process models. The… … Wikipedia
C++11 — C++11, also formerly known as C++0x,[1] is the name of the most recent iteration of the C++ programming language, replacing C++TR1, approved by the ISO as of 12 August 2011.[2] The name is derived from the tradition of naming language versions by … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Inference engine — In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the brain that expert systems use to… … Wikipedia
Essentially contested concept — In a paper delivered to the Aristotelian Society on 12 March 1956, [Published immediately as Gallie (1956a); a later, slightly altered version appears in Gallie (1964).] Walter Bryce Gallie (1912 ndash;1998) introduced the term essentially… … Wikipedia
Zachman framework — The Zachman Framework is a classification structure often used in Information Technology departments by the teams responsible for developing and documenting an Enterprise Architecture. The Framework is used for organizing architectural artifacts… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
